منابع مشابه
Reserved Books for CS 812 - Programing Language Semantics - Spring 2008
References [1] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Massachusetts, 1985. [2] Gregory R. Andrews. Concurrent Programming. Benjamin/Cummings, Redwood City, California, 1991. [3] Krzysztof R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, New York, 1991. [4] Hendr...
متن کاملReserved Books for Cs 812 -programing Language Semantics -spring 2006
References [1] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Massachusetts, 1985. [2] Gregory R. Andrews. Concurrent Programming. Benjamin/Cummings, Redwood City, California, 1991. [3] Krzysztof R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, New York, 1991. [4] Hendr...
متن کاملReserved Books for CS 812 - Programing Language Semantics - Spring 2010
References [1] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Massachusetts, 1985. [2] Gregory R. Andrews. Concurrent Programming. Benjamin/Cummings, Redwood City, California, 1991. [3] Krzysztof R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, New York, 1991. [4] Hendr...
متن کاملMathematics 129, Spring 2009 Number Fields
1. Concerning These Notes 2 2. Introduction (First Day) 2 3. Algebraic Numbers and Integers 5 4. Linear Algebra for Number Theory 10 5. Review of Field Theory; Traces/Norms 10 6. Units: Some Notes Missing Here 16 7. Diophantine Approximation 16 8. The Trace Pairing 18 9. Linear Algebra and Discriminants 21 10. The Ring of Integers Inside the Number Field 26 11. Some Computational Aspects of Dis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 1987
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.294.6578.1012